✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Four Multipliers for Using AI Well: My Working Model
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Tradeoffs of Highly-Expressive Types
jnkr.tech·3h·
Discuss: Hacker News
🎯Gradual Typing
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
Bootstrapping a Forth for Art
tia.mat.br·1h·
Discuss: Hacker News
🔗Concatenative Programming
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Embedding MicroHs
thma.github.io·23h
🔗Functional Compilers
Polynomial Chaos Expansion for Operator Learning
arxiv.org·1d
🧠Machine Learning
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·2d·
Discuss: Hacker News, r/cpp
✨Algebraic Effects
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·1d
⚔️Lean Tactics
The Worst API Ever Made
caseymuratori.com·16h
👁️System Observability
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·7h
📐Linear Algebra
Answering some questions about Baba Yaga
eli.li·6h·
Discuss: Hacker News
🎯Dependent Types
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·1h·
Discuss: r/MachineLearning
🔗Constraint Handling
LLMs running locally
markjgsmith.com·2h
🌀Brotli Internals
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
A type system for RCL (2024)
ruudvanasseldonk.com·4h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
The Burden of Responsibility
ides.dev·15h·
Discuss: Hacker News
⚙️Proof Engineering
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·10h·
Discuss: DEV
📝ABNF Parsing